Shank3<tm4.1Gfng> MGI:5775645 Not Applicable R1117X http://identifiers.org/mgd/MGI:5775645 targeted mutation 4.1, Guoping Feng